@InProceedings{PadilhaAmbrMatt:2018:AbTeVe,
               author = "Padilha, Juliana Joria and Ambrosio, Ana Maria and Mattiello 
                         Francisco, Maria de F{\'a}tima",
          affiliation = "{} and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Uma abordagem de teste para verifica{\c{c}}{\~a}o e 
                         valida{\c{c}}{\~a}o de software embarcado em Cubesats",
            booktitle = "Anais...",
                 year = "2018",
               editor = "Santos, Walter Abrah{\~a}o dos and Rodrigues, Italo Pinto and 
                         Lima, Jeanne Samara dos Santos and Rodrigues, Aline Castilho and 
                         Mateus, Dairo Antonio Cuellar and Moreira, Herbi J{\'u}nior 
                         Pereira and Barbosa, ivan M{\'a}rcio and Ten{\'o}rio, 
                         Pl{\'{\i}}nio Ivo Gama and Toledo, Rafael Cardoso and Pereira, 
                         Yuri Matheus Dias",
         organization = "Workshop em Engenharia e Tecnologia Espaciais, 9. (WETE)",
            publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "Testes de software embarcado, Teste baseado em modelos, 
                         Nanosat{\'e}lites, Cubesats, Redu{\c{c}}{\~a}o do 
                         Esfor{\c{c}}o de Testes.",
             abstract = "Apesar do grande n{\'u}mero de nanosat{\'e}lites que v{\^e}m 
                         sendo lan{\c{c}}ados no espa{\c{c}}o ainda n{\~a}o existem 
                         normas espec{\'{\i}}ficas de engenharia de software para esse 
                         tipo de sat{\'e}lites. Software embarcado em Cubesat possui papel 
                         chave no controle e opera{\c{c}}{\~a}o da miss{\~a}o. 
                         Entretanto, as atividades de verifica{\c{c}}{\~a}o e 
                         valida{\c{c}}{\~a}o de projetos de software s{\~a}o onerosas. 
                         Testes de software consomem de 30% a 50% do recurso envolvido no 
                         desenvolvimento destes software. Essa pesquisa prop{\~o}e uma 
                         abordagem de teste para verifica{\c{c}}{\~a}o e 
                         valida{\c{c}}{\~a}o de software embarcado para 
                         nanosat{\'e}lites utilizando-se de t{\'e}cnicas de 
                         redu{\c{c}}{\~a}o de esfor{\c{c}}o de testes, buscando 
                         maximizar o reuso. Pretende-se usar o projeto NanosatC-Br2 como 
                         caso de estudo para essa pesquisa. Neste artigo s{\~a}o 
                         apresentadas as principais ideias que orientaram esta proposta: 
                         crescimento do n{\'u}mero de nanosat{\'e}lites, em particular os 
                         Cubesats, a falta de padroniza{\c{c}}{\~a}o dos software, alto 
                         custo de realiza{\c{c}}{\~a}o de teste de software, pesquisa de 
                         t{\'e}cnicas de redu{\c{c}}{\~a}o do esfor{\c{c}}o de teste, 
                         teste baseado em modelos e a experi{\^e}ncia no projeto QSEE com 
                         o uso da metodologia CoFi (Conformance and Fault Injection) na 
                         aceita{\c{c}}{\~a}o do software embarcado.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "15-16 ago. 2018",
                 issn = "2177-3114",
             language = "pt",
         organisation = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                  ibi = "8JMKD3MGPDW34R/3S2EKMP",
                  url = "http://urlib.net/ibi/8JMKD3MGPDW34R/3S2EKMP",
           targetfile = "19 - [Artigo] Juliana Joria Padilha.pdf",
                 type = "Engenharia e Gerenciamento de Sistemas Espaciais",
        urlaccessdate = "10 maio 2024"
}